Purposive discovery of operations

The Generate, Prune & Prove (GPP) methodology for discovering definitions of mathematical operators is introduced. GPP is a task within the IL exploration discovery system. We developed GPP for use in the discovery of mathematical operators with a wider class of representations than was possible with the previous methods by Lenat and by Shen. GPP utilizes the purpose for which an operator is created to prune the possible definitions. The relevant search spaces are immense and there exists insufficient information for a complete evaluation of the purpose constraint, so it is necessary to perform a partial evaluation of the purpose (i.e., pruning) constraint. The constraint is first transformed so that it is operational with respect to the partial information, and then it is applied to examples in order to test the generated candidates for an operator's definition. In the GPP process, once a candidate definition survives this empirical prune, it is passed on to a theorem prover for formal verification. We describe the application of this methodology to the (re)discovery of the definition of multiplication for Conway numbers, a discovery which is difficult for human mathematicians. We successfully model this discovery process utilizing information which was reasonably available at the time of Conway's original discovery. As part of this discovery process, we reduce the size of the search space from a computationally intractable size to 3468 elements

Carter, Linda Oral History Interview

Professor of Law (1985-2016). Topics include: The interface of practice, scholarship and teaching, including death penalty issues and international criminal law. The development of the field of international criminal law, McGeorge transitions over the years, and teaching methodology in law school.https://scholarlycommons.pacific.edu/esohc/1145/thumbnail.jp

Organochloride Pesticides Present in Animal Fur, Soil, and Streambed in an Agricultural Region of Southeastern Arkansas

Animals in agricultural settings may be subject to bioaccumulation of toxins. For the last several years, we collected hair samples from bats and rodents in an agricultural area near Bayou Bartholomew in Drew County, Arkansas. Samples were submitted to the Center of Environmental Sciences and Engineering at the University of Connecticut for wide-screen toxin analysis. Several of these samples contained measurable amounts of organochloride pesticides or their metabolites, including some that have been banned for decades, such as dichlorodiphenyltrichloroethane (DDT) and chlordane. In addition, we collected several samples of soil from within an agricultural field, from adjacent edge habitat, from alongside the bank of the Bayou, and from the bed of the Bayou itself. Although none of these samples tested positive for DDT or chlordane, all of the samples except one contained measurable amounts of metabolites from these pesticides. This study raises questions about environmental persistence of DDT/DDE and other organochlorides. There may be risk to wildlife populations, warranting further investigation into effects of long-term exposure to these toxins

Coal in Alaska requirements to enhance environmentally sound use in both domestic and Pacific Rim markets

This document originates from three meetings held in 1989 with the leaders of the Alaskan Coal Industry and coal technologists from the U.S. Department of Energy (DOE)~ Mineral Industry Research Laboratory (MIRL) and Geophysical Institute - University of Alaska Fairbanks, the Alaska Department of Natural Resources, the Alaska Science and Technology Commission, several of the Alaska Native Corporations, and a number of coal experts from private industries. The information included is intended to illustrate the vast resource base and quality of Alaskan coals, show the projected size of the Pacific Rim steam coal market, discuss policy changes necessary to facilitate the development of an expanded coal industry, and describe the technology development needs for Alaskan coals to compete in the world market. It is aimed at increasing the general knowledge about the potential of coal in Alaska and providing data for use in marketing the resource.Prepared for the Governor and Legislators - State of Alaska under the Direction of Dr. Henry Cole, Science and Technology Advisor. Technical Editor - Dr. Warrack G. Willson, Energy and Environmental Research Center, University of North Dakota; and Mineral Industry Research Laboratory, University of Alaska Fairbanks. Co-authors - W. (Bill) Irwin, Consultant, Calgary, Alberta; Dr. John Sims, Usibelli Coal Mine Inc.; Dr. p.o. Rao, Mineral Industry Research Laboratory; and Bill Noll, Suneel Alaska Corp